Short Theories